Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
151	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2010-02-22 14:55:33 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures
152	No[removed]Hoehnke Add to Reading List Source URL: www.jams.or.jp Language: English - Date: 2012-11-10 21:09:03 Algebra Algebraic structures Mathematical logic Alfred Tarski Universal algebra Cylindric algebra Algebraic geometry Algebraic theory Abstract algebraic logic Mathematics Abstract algebra Algebraic logic
153	Theory and Applications of Categories, Vol. 24, No. 3, 2010, pp. 39–83. JOYAL’S ARITHMETIC UNIVERSE AS LIST-ARITHMETIC Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2010-02-20 12:22:21 Mathematical structures Model theory Metalogic Function Cartesian closed category Equivalence relation Combinatorial species Interpretation Mathematical logic Mathematics Abstract algebra Algebraic structures
154	A History of Interactions between Logic and Number Theory Lecture 1 Add to Reading List Source URL: modular.math.washington.edu Language: English - Date: 2006-10-17 01:47:09 Model theory Field theory Algebraic structures Mathematical structures Real algebraic geometry Strongly minimal theory Alfred Tarski P-adic number Definable set Abstract algebra Mathematics Algebra
155	Trends in Mathematics Education Research Tamil Mathematical Manuscripts and the Possibility of a Add to Reading List Source URL: www.hbcse.tifr.res.in Language: English - Date: 2009-12-07 09:13:55 Algebraic structures Mathematics education Arithmetic Emmy Noether Field Mathematical logic Number Laws of Form Mathematics Abstract algebra Algebra
156	Model Theory and Exponentiation Add to Reading List Source URL: www.ams.org Language: English - Date: 1999-03-08 15:14:53 Model theory Real algebraic geometry O-minimal theory Tarski–Seidenberg theorem Pfaffian function Real closed field Definable set Semialgebraic set Quantifier elimination Abstract algebra Mathematics Mathematical logic
157	Lecture Notes on Universal Algebra Many-Sorted Partial Algebras Preliminary version Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2002-07-17 16:00:16 Universal algebra Algebraic logic Algebraic structures Variety Boolean algebra Subalgebra Lie algebra Abstract algebra Mathematics Algebra
158	PDF Document Add to Reading List Source URL: www.wiley.com Language: English - Date: 2000-10-16 11:54:44 Mathematical logic Algebraic structures Algebraic logic Axiom Model theory Boolean algebras canonically defined Outline of algebraic structures Abstract algebra Mathematics Boolean algebra
159	doi:[removed]j.entcs[removed] Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2007-09-04 04:02:48 Jan Bergstra Process calculus Algebra of Communicating Processes Abstract algebra Computer science Communicating sequential processes Algebraic logic Axiom Algebra Process calculi Computing Software
160	PDF Document Add to Reading List Source URL: www.uni-leipzig.de Language: English - Date: 2007-01-12 14:10:03 Fuzzy logic Algebraic structures Lattice theory Fuzzy set Heyting algebra Topos Cartesian closed category Membership function Category theory Mathematical logic Mathematics Abstract algebra

UPDATE